Use a more declarative style for checking compound statements