Added a test method for short circuit and, not yet compiled