[Variability Encoding] bugfix: return statement in refined c-functions
avoid return statements in void methods
Merge remote-tracking branch 'origin/master'