Add support for fine granularity checking

[ilagunap]

Add support for checking on basic operations(+,-,*,/):

from this: _FPC_CHECK(x + y - z)
change to this: _FPC_CHECK(x + _FPC_CHECK(y - _FPC_CHECK(z)))