Simple judge which evaluates programs correctness based on an specification