Asserts that first unverified action is an instance of type T. Also, it applies additional assertions.