Added "opt -full" alias for all more aggressive optimizations
Added "abc" label in synth script