minor refactor of isApplicable
refactored forth stack manipulation