In the signature of a method, an interface acts the same as a j.l.Object. This is because the verifier does not verify that the argument passed in actually implements the declared interface. However, this should be mostly true, and it may make sense to include the interface in the speculative part of the ParmNode. This may prove useful when we strengthen the type inference of the compiler with respects to interfaces.