Automatically generating valid programs for Proteus Language