Fixed a bug in after call: after call should be inserted after
castToDouble instruction.