hasThenBlock

This method returns true if the then branch (which should be always present) is a block statement.