Fixes tests for compiler
Adds specification for ChoiceFormat