pub fn build_program_logics_env() -> Environment
Register all program logics axioms in the kernel environment.