Added code generation for implies expressions