Update AssertionInterface.php