Added possible transforms function - takes in statement tuple and list of patterns/integers, returns a list of possible transforms (inference or equivalence rules) that match the statement.