Fixes push instruction to take into account ifs in configuration