Added support for implies operator and extended test-expressions

Added support for implies operator and extended test-expressions