[C2hs] patch applied (c2hs): Rename maybe_asm -> asm_opt for naming consistency