inlined version of SLR3+; shape analysis seems to be broken: disabled