Matcher Fixes

Made changes to get_mandatory_bindings to prevent infinite recursion