Function encode_program_source 

pub fn encode_program_source(source: &str) -> Result<String, ParseError>

Encode a LogicAffeine program (given as source) into CProgram construction source.

Takes LogicAffeine source code (with or without ## Main header) and returns LogicAffeine source code that constructs the equivalent CProgram data structure. The result defines a variable prog of type CProgram.