Added instanceof and invalidate metaprocedures