This kinda sounds like Prolog. Add a bunch of assertions and write a query to validate if it's true/get the missing vars.