bug fixed: invalid predicates in add_stack_pointer