Changed jasmin datatype of TYPE_BOOL to I (int)