Clarify stack effect constraints