Change package name to belsym prefix for testing