format expressions
bad cases
requirement coverage