Skip to content
bugfix for fuction invariants