Generate judgement constructors
Fixed missing attribute constructor
Added judgement form declarations