Pulsating Points with CindyJS

https://github.com/CindyJS/CindyJS/issues/722

HTML

<script src="https://cindyjs.org/dist/latest/Cindy.js"></script>
<script src="https://cindyjs.org/dist/v0.8.7/Cindy.js"></script>
<div id="CSCanvas"></div>

<script>
  CindyJS({ 
	scripts: "cs*", 
	defaultAppearance: { fontFamily: "sans-serif", lineSize: 1, pointSize: 5.0, textsize: 12.0 }, 
	angleUnit: "�", 
	geometry: [ 
		{ name: "M1", type: "Free", pos: [ 0.0, -0.0, 4.0 ], color: [ 1.0, 0.0, 0.0 ], labeled: true }, 
		{ name: "P", type: "Free", pos: [ 4.0, -0.0, 4.0 ], color: [ 1.0, 0.0, 0.0 ], labeled: true }, 
		{ name: "C0", type: "CircleMP", color: [ 0.0, 0.0, 1.0 ], args: [ "M1", "P" ], size: 2, printname: "$C_{0}$" }, 
		{ name: "M2", type: "Free", pos: [ 4.0, -0.0, 2.0 ], color: [ 1.0, 0.0, 0.0 ], labeled: true }, 
		{ name: "C1", type: "CircleMP", color: [ 0.0, 0.0, 1.0 ], args: [ "M2", "P" ], dashtype: "tightdash", printname: "$C_{1}$" }, 
		{ name: "C2", type: "CircleMP", color: [ 0.0, 0.0, 0.0 ], args: [ "M1", "M2" ], dashtype: "dashed", printname: "$C_{2}$" }, 
		{ name: "M2(t)", type: "PointOnCircle", pos: [ -3.264896606976591, -4.0, -2.581644333280983 ], color: [ 1.0, 0.0, 0.0 ], args: [ "C2" ], labeled: true }, 
		{ name: "a", type: "Join", color: [ 0.0, 0.0, 1.0 ], args: [ "M1", "M2(t)" ] }, 
		{ name: "b", type: "Join", color: [ 0.0, 0.0, 1.0 ], args: [ "M1", "P" ], visible: false }, 
		{ name: "Collection__1", type: "IntersectionConicLine", args: [ "C0", "a" ] }, 
		{ name: "K", type: "SelectP", pos: [ 2.5293155721626994, 3.098800209180204, 4.0 ], color: [ 1.0, 0.0, 0.0 ], args: [ "Collection__1" ], labeled: true }, 
		{ name: "C3", type: "CircleMP", color: [ 0.0, 0.0, 1.0 ], args: [ "M2(t)", "K" ], size: 2, printname: "$C_{3}$" }, 
		{ name: "c", type: "RandomLine", color: [ 1.0, 1.0, 1.0 ], size: 0 }, 
		{ name: "E", type: "Meet", color: [ 1.0, 1.0, 1.0 ], args: [ "c", "b" ], size: 0.0 }, 
		{ name: "d", type: "Orthogonal", color: [ 1.0, 1.0, 1.0 ], args: [ "a", "E" ], size: 0 }, 
		{ name: "F", type: "Meet", color: [ 1.0, 1.0, 1.0 ],...