constraint +1 item on return stack when calling function