Fixed identifiers to allow constants and free variables within arguments to properly propogate to the subsuming formula.