Merge branch 'fix-local-inductive' into 'master'

Remove `Local` attribute for `Inductive`

See merge request !212
7 jobs for master in 19 minutes and 49 seconds (queued for 1 second)